package org.cos.verification.automata;


public class EPDA extends Automata {

}
